function search() {
    if (document.getElementById("search_input").value != "") {
        window.location.href = "http://192.168.31.131:8080/html/Search.html";
        document.getElementById("search_input").value = "";
    }
    return false;
}